<?php
/**
string str_rot13 ( string $str )
ROT13 编码简单地使用字母表中后面第 13 个字母替换当前字母，同时忽略非字母表中的字符。编码和解码都使用相同的函数，传递一个编码过的字符串作为参数，将得到原始字符串。
**/


echo str_rot13('PHP 7.3.0');
